科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:微分几何与力学定理的证明方法
Dongming Wang;
机译:微分几何自动定理证明的排序
机译:机械几何定理证明的一种方法
机译:入射几何中的自动定理证明-一种基于括号代数的消除方法
机译:使用Wu方法和Collins方法对几何定理进行机械证明。
机译:对密度函数SCC-DFTB疏忽抗硅藻差分重叠(NDDO)模型及其具有衍生物的分子力学方法的评价
机译:基于WU方法证明几何定理的身份方法
机译:用数字计算机证明平面几何中的定理
机译:自动证明信息处理定理的方法和装置
机译:具有反射功能的交互式定理证明工具的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。